Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
451	Hit the Backup Bull’s-Eye Corporate Headquarters [removed]Landing Parkway Add to Reading List Source URL: www.sgi.com Language: English - Date: 2011-03-29 18:04:27 Computer hardware Linear Tape-Open Spectra Logic Magnetic tape data storage Tape drive Tape library NetVault Backup Backup IBM System Storage Backup software Computing Electromagnetism
452	Mid-Range Libraries The Right Way to Scale Corporate Headquarters [removed]Landing Parkway Fremont, CA 94538 Add to Reading List Source URL: www.sgi.com Language: English - Date: 2011-03-29 18:04:27 Spectra Logic Linear Tape-Open Backup software Tape drive Tape library Backup IBM System Storage Magnetic tape data storage Computing Computer hardware Electromagnetism
453	Journal of Business and Management Sciences, 2013, Vol. 1, No. 3, 36-43 Available online at http://pubs.sciepub.com/jbms/1/3/2 © Science and Education Publishing DOI:[removed]jbms[removed]Linear Programming Problem and P Add to Reading List Source URL: www.sciepub.com Language: English Fuzzy control system Fuzzy set Mathematical optimization Linear programming Fuzzy number Type-2 fuzzy sets and systems Fuzzy subalgebra Fuzzy logic Logic Mathematics
454	Monitoring of Temporal First-order Properties with Aggregations David Basin, Felix Klaedtke, Srdjan Marinovic, and Eugen Z˘alinescu Institute of Information Security, ETH Zurich, Switzerland Abstract. Compliance polici Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-02-25 06:27:38 Mathematics Operator theory Μ operator Interpretation Symbol First-order logic Function Operator Linear temporal logic Mathematical logic Logic Model theory
455	History Matching of Petroleum Reservoirs Using a Level Set Technique Oliver Dorn and Rossmary Villegas Modelling and Numerical Simulation Group, Universidad Carlos III de Madrid, Avenida de la Universidad 30, Leganes 289 Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2009-05-28 12:41:33 Functional analysis Distribution Dirac delta function Function Linear temporal logic Mathematical analysis Mathematics Generalized functions
456	Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID[removed], 6 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 16:15:03 Operator theory Inequalities Hindawi Publishing Corporation Theorem Hilbert space Mathematics Logic Linear algebra
457	On the Constructive Dedekind Reals Robert S. Lubarsky Department of Mathematical Sciences, Florida Atlantic University 777 Glades Road Boca Raton, FL 33431, USA [removed] Add to Reading List Source URL: math.fau.edu Language: English - Date: 2007-09-21 15:25:43 Metalogic Interpretation Symbol Structure Forcing Elementary equivalence Linear temporal logic Μ operator Model theory Mathematical logic Logic
458	Deciding Safety and Liveness in TPTL David Basina , Carlos Cotrini Jim´eneza,∗, Felix Klaedtkeb,1 , Eugen Z˘alinescua a Institute of Information Security, ETH Zurich, Switzerland Europe Ltd., Heidelberg, Germany Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-06-24 05:41:33 Model theory Structure Logic Physics Holomorphic functional calculus Itō diffusion Mathematics Linear temporal logic Temporal logic
459	Submission to CONSTRAINTS Stochastic Constraint Programming: A Scenario-Based Approach Abstract To model combinatorial decision problems involving uncertainty and probability, we introduce scenario based stochastic cons Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-01-21 00:55:03 Computer programming Constraint satisfaction Stochastic Constraint optimization Mathematical optimization Random variable Linear programming Constraint logic programming Stochastic modelling Constraint programming Software engineering Mathematics
460	Progress In Electromagnetics Research Symposium 2006, Cambridge, USA, March[removed]Detection of Small Tumors in Microwave Medical Imaging Using Level Sets and Music Add to Reading List Source URL: www.maths.manchester.ac.uk Language: English - Date: 2009-05-28 12:41:32 Quantum mechanics M-estimators Robust statistics Linear temporal logic Mathematics Functions and mappings Function

UPDATE